Theoremproving system
[计] 定理证明系统
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
She's going to regret it for sure.
她肯定会为次后悔。
Do you really like it?
你真的喜欢吗？
Yes, and we must stop people walking on this floor until it's firm. It may be necessary to put up a notice saying Keep off. Another thing, we' ll have to drill a hole in the wall for the electric wires.
是的，因此在地板牢固前，我们必须防止人们从地板上行走。可能还需要竖一个布告牌，写上“不得践踏”。还有，我们必须在墙上钻一个电线孔。